International Workshop on Ontology Dynamics ( IWOD - 07 )

Works on ontology versioning pay special attention to the logical analysis of ontology evolution. The paper considers extensible declarative approach to ontology change description. Metric temporal description logic with metric temporal modalities “future n” and “past n” and hybrid satisfaction operator @ is proposed as the logical basis for declarative ontology evolution analysis. Underlying time structure assumed to be linear and discrete, which is acceptable for modeling of ontology versions sequence. Introduced is OWLMeT – metric extension of the Web ontology language OWL, which is supported with a reasoning engine under development on the basis of Pellet reasoner.